1. Processes, terms and cycles
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
2. Processes, terms and cycles
پدیدآورنده : / Aart Middeldorp ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Lambda calculus.,Rewriting systems (Computer science),Machine theory.
رده :
QA
,
9
.
5
,.
P76
,
2005
